*MOD—A Language for Distributed Programming
نویسندگان
چکیده
منابع مشابه
Joyce - A Programming Language for Distributed Systems
This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The...
متن کاملLanguage Constructs for Distributed Real-Time Programming
For many distributed applications, it is not sufficient for programs to be logically correct. In addition, they must satisfy various timing constraints. This paper discusses primitives that support the construction of distributed real-time programs. Our discussion is focused in two areas: timing specification and communication. To allow the specifications of timing constraints, we introduce the...
متن کاملConcert/C: A Language for Distributed Programming
Concert C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics Concert C provides the ability to create and terminate processes connect them together and communicate among them It supports transparent remote function calls RPC and asynchronous messages Interprocess communications interfaces are typed in Concert C and type correctness i...
متن کاملA Language for Parallel and Distributed Programming
This paper introduces the newest version of the SR concurrent programming language and illustrates how it provides support for different execution environments, ranging from shared-memory multiprocessors to distributed systems. SR uses a few well-integrated mechanisms for concurrency to provide flexible, yet efficient, support for parallel and distributed programming. This paper gives several r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1980
ISSN: 0098-5589
DOI: 10.1109/tse.1980.234505